#ifndef ExecutableLogic_Included
#define ExecutableLogic_Included

#include <set>
#include "Starter/Logic/Entity.h"

/* You need to implement these functions. */
bool isFormulaTrueFor_partI  (std::set<Entity> world);
bool isFormulaTrueFor_partII (std::set<Entity> world);
bool isFormulaTrueFor_partIII(std::set<Entity> world);
bool isFormulaTrueFor_partIV (std::set<Entity> world);
bool isFormulaTrueFor_partV  (std::set<Entity> world);
bool isFormulaTrueFor_partVI (std::set<Entity> world);

#endif
